大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011, Proceedings, Part II

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Research on Computer Science and Information Engineering [electronic resource] : International Conference, CSIE 2011, Zhengzhou, China, May 21-22, 2011. Proceedings, Part I

0
索取号：
作者：Shen、 Gang.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Dependable Computer Systems [electronic resource]

0
索取号：
作者：Zamojski、 Wojciech.、Kacprzyk、 Janusz.、Mazurkiewicz、 Jacek.、Sugier、 Jaros艂aw.、Walkowiak、 Tomasz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Information Science 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations on Natural and Artificial Computation [electronic resource] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I

0
索取号：
作者：Ferr谩ndez、 Jos茅 Manuel.、脕lvarez S谩nchez、 Jos茅 Ram贸n.、Paz、 F茅lix.、Toledo、 F. Javier.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Damped Oscillations of Linear Systems [electronic resource] : A Mathematical Introduction

0
索取号：
作者：Veseli膰、 Kre拧imir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [electronic resource] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

0
索取号：
作者：Calinescu、 Radu.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Manifesto of the New Economy [electronic resource] : Institutions and Business Models of the Digital Society

0
索取号：
作者：Dolgin、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Relational and Algebraic Methods in Computer Science [electronic resource] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 鈥ʵne 3, 2011. Proceedings

0
索取号：
作者：Swart、 Harrie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ubiquitous Computing and Multimedia Applications [electronic resource] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Ubiquitous Computing and Multimedia Applications [electronic resource] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part I

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Incidence Geometry [electronic resource] : Projective and Polar Spaces

0
索取号：
作者：Ueberberg、 Johannes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Innovative Computing Methods and Their Applications to Engineering Problems [electronic resource]

0
索取号：
作者：Nedjah、 Nadia.、Santos Coelho、 Leandro.、Mariani、 Viviana Cocco.、Macedo Mourelle、 Luiza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Cloud Computing [electronic resource] : Web-Based Dynamic IT Services

0
索取号：
作者：Baun、 Christian.、Kunze、 Marcel.、Nimis、 Jens.、Tai、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Modern Mathematical Tools and Techniques in Capturing Complexity [electronic resource]

0
索取号：
作者：Pardo、 Leandro.、Balakrishnan、 Narayanaswamy.、Gil、 Mar铆a 脕ngeles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Grid and Pervasive Computing [electronic resource] : 6th International Conference, GPC 2011, Oulu, Finland, May 11-13, 2011. Proceedings

0
索取号：
作者：Riekki、 Jukka.、Ylianttila、 Mika.、Guo、 Minyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.